Merge branch 'kill-containers' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 12 May 2020 03:14:26 +0000 (03:14 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 12 May 2020 03:14:26 +0000 (03:14 +0000)
Kill containers

See merge request GNOME/gtk!1866


Trivial merge